Random Strings Make Hard Instances

نویسندگان

  • Harry Buhrman
  • Pekka Orponen
چکیده

We establish the truth of the \instance complexity conjecture" in the case of DEXT-complete sets w.r.t. polynomial time computations, and r.e. complete sets w.r.t. recursive computations. Speciically, we obtain for every DEXT-complete set A an exponentially dense subset C such that for every nondecreasing polynomial t(n) = !(n log n), ic t (x : A) K t (x) ? c holds for some constant c and all x 2 C, where ic t and K t are the t-bounded instance complexity and Kol-mogorov complexity measures, respectively. For r.e. complete sets A we obtain an innnite set C A such that ic 1 (x : A) K 1 (x) ? c holds for some constant c and all x 2 C. The proofs are based on the observation that Kolmogorov random strings are individually hard to recognize by bounded computations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reversals and Transpositions over Finite Alphabets

Extending results of Christie and Irving, we examine the action of reversals and transpositions on finite strings over an alphabet of size k. We show that determining reversal, transposition or signed reversal distance between two strings over a finite alphabet is NP-hard, while for ‘dense’ instances we give a polynomial-time approximation scheme. We also give a number of extremal results, as w...

متن کامل

Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances

While CNF propositional satisfiability (SAT) is a sub-class of the more general constraint satisfaction problem (CSP), conventional wisdom has it that some well-known CSP look-back techniques -including backjumping and learning -are of little use for SAT. We enhance the Tableau SAT algorithm of Crawford and Auton with look-back techniques and evaluate its performance on problems specifically de...

متن کامل

Hidden Gold in Random Generation of SAT Satisfiable Instances

Evaluation of incomplete algorithms that solve SAT requires to generate hard satisfiable instances. For that purpose, the kSAT uniform random generation is not usable. The other generators of satisfiable instances generate instances that are not intrinsically hard, or exhaustive tests have not been done for determining hard and easy areas. A simple method for generating random hard satisfiable ...

متن کامل

Randomness is Hard

We study the set of incompressible strings for various resource bounded versions of Kolmogorov complexity. The resource bounded versions of Kolmogorov complexity we study are: polynomial time CD complexity deened by Sipser, the nondeterministic variant due to Buhrman and Fortnow, and the polynomial space bounded Kolmogorov complexity, CS introduced by Hartmanis. For all of these measures we dee...

متن کامل

Study of Random Biased d-ary Tries Model

Tries are the most popular data structure on strings. We can construct d-ary tries by using strings over an alphabet leading to d-ary tries. Throughout the paper we assume that strings stored in trie are generated by an appropriate memory less source. In this paper, with a special combinatorial approach we extend their analysis for average profiles to d-ary tries. We use this combinatorial appr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994